$\forall$$w$:World. FairFifo $\Rightarrow$ EOrderAxioms(E; $\lambda$$e$.w{-}pred($w$;$e$); $\lambda$$e$.w{-}info($w$;$e$))